Works by W. W. Bledsoe

( view other items matching `W. W. Bledsoe`, view all matches )
5 found
Order:
  1.  14
    Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  2.  7
    Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  6
    Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  6
    A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  2
    Completeness results for inequality provers.W. W. Bledsoe, K. Kunen & R. Shostak - 1985 - Artificial Intelligence 27 (3):255-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark